// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

package {

function f2(c) {
  while (c) {}
}
f2(0)

function f1() {
  for (;;) {}
}
f1();

}
